Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.orgΒ·1dΒ·
Discuss: Hacker News
πŸ”Capability Systems
The Why of PGP Authentication
articles.59.caΒ·6h
πŸ”‘Cryptographic Protocols
IASC: Interactive Agentic System for ConLangs
arxiv.orgΒ·15h
🌳Context free grammars
Three ways formally verified code can go wrong in practice
buttondown.comΒ·1h
πŸ“œProof Carrying Code
This Week in Security: ID Breaches, Code Smell, and Poetic Flows
hackaday.comΒ·5h
πŸ”“Hacking
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.comΒ·19h
🌊Streaming Systems
Sorting encrypted data without decryption: a practical trick
dev.toΒ·3hΒ·
Discuss: DEV
πŸ”Hash Functions
Beyond the Classroom: Enhancing Security and Productivity with Jamf Safe Internet
jamf.comΒ·6h
πŸ›‘Cybersecurity
Show HN: Twoway, a Go package for HPKE encrypted request-response flows
github.comΒ·2dΒ·
πŸ”‘Cryptographic Protocols
Let's Write a Macro in Rust
hackeryarn.comΒ·3hΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.devΒ·1dΒ·
Discuss: Hacker News
πŸ”Hash Functions
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.comΒ·21h
πŸ”²Cellular Automata
The Importance of Email Security
securityscorecard.comΒ·3h
🎯Threat Hunting
Learning from software errors – Part 3: A Mars probe gets out of control
heise.deΒ·11h
πŸ“žSession Types
How I found an unauthenticated goldmine of PII
infosecwriteups.comΒ·7h
πŸ”“Hacking
The effective LLM multi-tenant security with SQL
getbruin.comΒ·23hΒ·
Discuss: Hacker News
πŸ—„οΈDatabase Internals
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comΒ·5hΒ·
Discuss: Hacker News
🌐Protocol Synthesis
ChatGPT and other AI models can be β€˜poisoned’ to spew gibberish, researchers warn
the-independent.comΒ·2h
πŸ”“Hacking
Slip – A Lisp System in JavaScript
lisperator.netΒ·5hΒ·
Discuss: Hacker News
πŸ”—Lisp
Operable Software
ferd.caΒ·5hΒ·
Discuss: Hacker News
πŸ‘οΈSystem Observability